(DEFPROP CATALIST
(((2)
(STRUCTURE ((CTENTRY 2 (NIL)
1 1 1)
(CTENTRY 1 (NIL)
2 2 2))
(2 A)
2 NIL))
[(4)
(STRUCTURE ((CTENTRY 4 (NIL)
2 1 3)
(CTENTRY 3 (NIL)
1 4 2)
(CTENTRY 2 (NIL)
4 3 1)
(CTENTRY 1 (NIL)
3 4 2))
(4 B B)
4
((4 3 2 1))
((3 4 2 1))
((4 2 3 1))
((2 4 3 1))
((3 2 4 1))
((2 3 4 1))
((4 3 1 2))
((3 4 1 2))
((4 1 3 2))
((1 4 3 2))
((3 1 4 2))
((1 3 4 2))
((4 2 1 3))
((2 4 1 3))
((4 1 2 3))
((1 4 2 3))
((2 1 4 3))
((1 2 4 3))
((3 2 1 4))
((2 3 1 4))
((3 1 2 4))
((1 3 2 4))
((2 1 3 4))
((1 2 3 4)))
(STRUCTURE ((CTENTRY 4 (NIL)
3 1 3)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 4 2))
(4 A A)
4
((4 3 2 1))
((4 3 2 1))
((3 4 1 2))
((2 1 4 3))
((1 2 3 4]
((6)
(STRUCTURE ((CTENTRY 6 (NIL)
4 1 5)
(CTENTRY 5 (NIL)
2 6 4)
(CTENTRY 4 (NIL)
6 5 3)
(CTENTRY 3 (NIL)
1 4 2)
(CTENTRY 2 (NIL)
5 3 1)
(CTENTRY 1 (NIL)
3 6 2))
(6 B C B)
6 NIL)
(STRUCTURE ((CTENTRY 6 (NIL)
5 1 5)
(CTENTRY 5 (NIL)
6 6 4)
(CTENTRY 4 (NIL)
3 5 3)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 6 2))
(6 A A A)
6
((6 5 4 3 2 1))
((3 4 5 6 1 2))
((2 1 6 5 4 3))
((5 6 1 2 3 4))
((4 3 2 1 6 5))
((1 2 3 4 5 6)))
(STRUCTURE ((CTENTRY 6 (NIL)
4 1 5)
(CTENTRY 5 (NIL)
3 6 4)
(CTENTRY 4 (NIL)
6 5 3)
(CTENTRY 3 (NIL)
5 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 6 2))
(6 A B B)
6
((6 5 4 3 2 1))
((6 4 5 3 2 1))
((3 5 4 6 1 2))
((3 4 5 6 1 2)))
(STRUCTURE ((CTENTRY 6 (NIL)
3 1 5)
(CTENTRY 5 (NIL)
4 6 4)
(CTENTRY 4 (NIL)
5 5 3)
(CTENTRY 3 (NIL)
6 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 6 2))
(6 A C A)
6 NIL)
(STRUCTURE ((CTENTRY 6 (NIL)
3 1 5)
(CTENTRY 5 (NIL)
2 6 4)
(CTENTRY 4 (NIL)
1 5 3)
(CTENTRY 3 (NIL)
6 4 2)
(CTENTRY 2 (NIL)
5 3 1)
(CTENTRY 1 (NIL)
4 6 2))
(6 C C C)
6 NIL))
[(8)
(STRUCTURE ((CTENTRY 8 (NIL)
6 1 7)
(CTENTRY 7 (NIL)
4 8 6)
(CTENTRY 6 (NIL)
8 7 5)
(CTENTRY 5 (NIL)
2 6 4)
(CTENTRY 4 (NIL)
7 5 3)
(CTENTRY 3 (NIL)
1 4 2)
(CTENTRY 2 (NIL)
5 3 1)
(CTENTRY 1 (NIL)
3 8 2))
(8 B C C B)
8
((8 7 6 5 4 3 2 1))
((8 6 7 4 5 2 3 1))
((1 3 2 5 4 7 6 8))
((1 2 3 4 5 6 7 8)))
(STRUCTURE ((CTENTRY 8 (NIL)
5 1 7)
(CTENTRY 7 (NIL)
2 8 6)
(CTENTRY 6 (NIL)
3 7 5)
(CTENTRY 5 (NIL)
8 6 4)
(CTENTRY 4 (NIL)
1 5 3)
(CTENTRY 3 (NIL)
6 4 2)
(CTENTRY 2 (NIL)
7 3 1)
(CTENTRY 1 (NIL)
4 8 2))
(8 C E C C)
8
((8 7 6 5 4 3 2 1))
((4 3 6 5 8 7 2 1))
((8 5 6 7 2 3 4 1))
((2 3 6 7 8 5 4 1))
((2 7 6 3 4 5 8 1))
((4 5 6 3 2 7 8 1))
((7 8 5 6 3 4 1 2))
((3 4 5 6 7 8 1 2))
((7 6 5 8 1 4 3 2))
((1 4 5 8 7 6 3 2))
((1 8 5 4 3 6 7 2))
((3 6 5 4 1 8 7 2))
((6 7 8 5 4 1 2 3))
((4 1 8 5 6 7 2 3))
((6 5 8 7 2 1 4 3))
((2 1 8 7 6 5 4 3))
((2 7 8 1 4 5 6 3))
((4 5 8 1 2 7 6 3))
((5 8 7 6 3 2 1 4))
((3 2 7 6 5 8 1 4))
((5 6 7 8 1 2 3 4))
((1 2 7 8 5 6 3 4))
((1 8 7 2 3 6 5 4))
((3 6 7 2 1 8 5 4))
((6 3 2 7 8 1 4 5))
((8 1 2 7 6 3 4 5))
((8 7 2 1 4 3 6 5))
((4 3 2 1 8 7 6 5))
((6 7 2 3 4 1 8 5))
((4 1 2 3 6 7 8 5))
((5 4 1 8 7 2 3 6))
((7 2 1 8 5 4 3 6))
((7 8 1 2 3 4 5 6))
((3 4 1 2 7 8 5 6))
((5 8 1 4 3 2 7 6))
((3 2 1 4 5 8 7 6))
((6 3 4 5 8 1 2 7))
((8 1 4 5 6 3 2 7))
((8 5 4 1 2 3 6 7))
((2 3 4 1 8 5 6 7))
((6 5 4 3 2 1 8 7))
((2 1 4 3 6 5 8 7))
((5 4 3 6 7 2 1 8))
((7 2 3 6 5 4 1 8))
((7 6 3 2 1 4 5 8))
((1 4 3 2 7 6 5 8))
((5 6 3 4 1 2 7 8))
((1 2 3 4 5 6 7 8)))
(STRUCTURE ((CTENTRY 8 (NIL)
7 1 7)
(CTENTRY 7 (NIL)
8 8 6)
(CTENTRY 6 (NIL)
5 7 5)
(CTENTRY 5 (NIL)
6 6 4)
(CTENTRY 4 (NIL)
3 5 3)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 8 2))
(8 A A A A)
8
((8 7 6 5 4 3 2 1))
((3 4 5 6 7 8 1 2))
((2 1 8 7 6 5 4 3))
((5 6 7 8 1 2 3 4))
((4 3 2 1 8 7 6 5))
((7 8 1 2 3 4 5 6))
((6 5 4 3 2 1 8 7))
((1 2 3 4 5 6 7 8)))
(STRUCTURE ((CTENTRY 8 (NIL)
6 1 7)
(CTENTRY 7 (NIL)
5 8 6)
(CTENTRY 6 (NIL)
8 7 5)
(CTENTRY 5 (NIL)
7 6 4)
(CTENTRY 4 (NIL)
3 5 3)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 8 2))
(8 A A B B)
8
((8 7 6 5 4 3 2 1))
((8 6 7 5 4 3 2 1))
((5 7 6 8 1 2 3 4))
((5 6 7 8 1 2 3 4)))
(STRUCTURE ((CTENTRY 8 (NIL)
5 1 7)
(CTENTRY 7 (NIL)
6 8 6)
(CTENTRY 6 (NIL)
7 7 5)
(CTENTRY 5 (NIL)
8 6 4)
(CTENTRY 4 (NIL)
3 5 3)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 8 2))
(8 A A C A)
8
((8 7 6 5 4 3 2 1))
((5 6 7 8 1 2 3 4)))
(STRUCTURE ((CTENTRY 8 (NIL)
6 1 7)
(CTENTRY 7 (NIL)
4 8 6)
(CTENTRY 6 (NIL)
8 7 5)
(CTENTRY 5 (NIL)
3 6 4)
(CTENTRY 4 (NIL)
7 5 3)
(CTENTRY 3 (NIL)
5 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 8 2))
(8 A B C B)
8
((8 7 6 5 4 3 2 1))
((8 6 7 4 5 3 2 1))
((3 5 4 7 6 8 1 2))
((3 4 5 6 7 8 1 2)))
(STRUCTURE ((CTENTRY 8 (NIL)
4 1 7)
(CTENTRY 7 (NIL)
6 8 6)
(CTENTRY 6 (NIL)
7 7 5)
(CTENTRY 5 (NIL)
3 6 4)
(CTENTRY 4 (NIL)
8 5 3)
(CTENTRY 3 (NIL)
5 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 8 2))
(8 A B D A)
8
((8 7 6 5 4 3 2 1))
((8 1 2 3 4 5 6 7)))
(STRUCTURE ((CTENTRY 8 (NIL)
4 1 7)
(CTENTRY 7 (NIL)
5 8 6)
(CTENTRY 6 (NIL)
3 7 5)
(CTENTRY 5 (NIL)
7 6 4)
(CTENTRY 4 (NIL)
8 5 3)
(CTENTRY 3 (NIL)
6 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 8 2))
(8 A C D B)
8
((8 7 6 5 4 3 2 1))
((3 6 7 5 4 8 1 2)))
(STRUCTURE ((CTENTRY 8 (NIL)
4 1 7)
(CTENTRY 7 (NIL)
3 8 6)
(CTENTRY 6 (NIL)
5 7 5)
(CTENTRY 5 (NIL)
6 6 4)
(CTENTRY 4 (NIL)
8 5 3)
(CTENTRY 3 (NIL)
7 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 8 2))
(8 A D D A)
8
((8 7 6 5 4 3 2 1))
((8 4 5 6 7 3 2 1))
((3 7 6 5 4 8 1 2))
((3 4 5 6 7 8 1 2))
((4 8 1 2 3 7 6 5))
((4 3 2 1 8 7 6 5))
((7 8 1 2 3 4 5 6))
((7 3 2 1 8 4 5 6)))
(STRUCTURE ((CTENTRY 8 (NIL)
3 1 7)
(CTENTRY 7 (NIL)
5 8 6)
(CTENTRY 6 (NIL)
4 7 5)
(CTENTRY 5 (NIL)
7 6 4)
(CTENTRY 4 (NIL)
6 5 3)
(CTENTRY 3 (NIL)
8 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 8 2))
(8 A E B B)
8
((8 7 6 5 4 3 2 1))
((8 7 5 6 4 3 2 1))
((3 4 6 5 7 8 1 2))
((3 4 5 6 7 8 1 2)))
(STRUCTURE ((CTENTRY 8 (NIL)
3 1 7)
(CTENTRY 7 (NIL)
4 8 6)
(CTENTRY 6 (NIL)
5 7 5)
(CTENTRY 5 (NIL)
6 6 4)
(CTENTRY 4 (NIL)
7 5 3)
(CTENTRY 3 (NIL)
8 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 8 2))
(8 A E C A)
8
((8 7 6 5 4 3 2 1))
((3 4 5 6 7 8 1 2))
((4 3 2 1 8 7 6 5))
((7 8 1 2 3 4 5 6)))
(STRUCTURE ((CTENTRY 8 (NIL)
6 1 7)
(CTENTRY 7 (NIL)
5 8 6)
(CTENTRY 6 (NIL)
8 7 5)
(CTENTRY 5 (NIL)
7 6 4)
(CTENTRY 4 (NIL)
2 5 3)
(CTENTRY 3 (NIL)
1 4 2)
(CTENTRY 2 (NIL)
4 3 1)
(CTENTRY 1 (NIL)
3 8 2))
(8 B B B B)
8
((8 7 6 5 4 3 2 1))
((8 6 7 5 4 3 2 1))
((8 7 6 5 4 2 3 1))
((8 6 7 5 4 2 3 1))
((5 7 6 8 1 3 2 4))
((5 6 7 8 1 3 2 4))
((5 7 6 8 1 2 3 4))
((5 6 7 8 1 2 3 4))
((4 3 2 1 8 7 6 5))
((4 2 3 1 8 7 6 5))
((4 3 2 1 8 6 7 5))
((4 2 3 1 8 6 7 5))
((1 3 2 4 5 7 6 8))
((1 2 3 4 5 7 6 8))
((1 3 2 4 5 6 7 8))
((1 2 3 4 5 6 7 8]
((10)
(STRUCTURE ((CTENTRY 10 (NIL)
8 1 9)
(CTENTRY 9 (NIL)
6 10 8)
(CTENTRY 8 (NIL)
10 9 7)
(CTENTRY 7 (NIL)
4 8 6)
(CTENTRY 6 (NIL)
9 7 5)
(CTENTRY 5 (NIL)
2 6 4)
(CTENTRY 4 (NIL)
7 5 3)
(CTENTRY 3 (NIL)
1 4 2)
(CTENTRY 2 (NIL)
5 3 1)
(CTENTRY 1 (NIL)
3 10 2))
(10 B C C C B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
6 1 9)
(CTENTRY 9 (NIL)
7 10 8)
(CTENTRY 8 (NIL)
4 9 7)
(CTENTRY 7 (NIL)
9 8 6)
(CTENTRY 6 (NIL)
10 7 5)
(CTENTRY 5 (NIL)
2 6 4)
(CTENTRY 4 (NIL)
8 5 3)
(CTENTRY 3 (NIL)
1 4 2)
(CTENTRY 2 (NIL)
5 3 1)
(CTENTRY 1 (NIL)
3 10 2))
(10 B C D D B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
8 1 9)
(CTENTRY 9 (NIL)
4 10 8)
(CTENTRY 8 (NIL)
10 9 7)
(CTENTRY 7 (NIL)
5 8 6)
(CTENTRY 6 (NIL)
2 7 5)
(CTENTRY 5 (NIL)
7 6 4)
(CTENTRY 4 (NIL)
9 5 3)
(CTENTRY 3 (NIL)
1 4 2)
(CTENTRY 2 (NIL)
6 3 1)
(CTENTRY 1 (NIL)
3 10 2))
(10 B D E B B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
7 1 9)
(CTENTRY 9 (NIL)
4 10 8)
(CTENTRY 8 (NIL)
5 9 7)
(CTENTRY 7 (NIL)
10 8 6)
(CTENTRY 6 (NIL)
2 7 5)
(CTENTRY 5 (NIL)
8 6 4)
(CTENTRY 4 (NIL)
9 5 3)
(CTENTRY 3 (NIL)
1 4 2)
(CTENTRY 2 (NIL)
6 3 1)
(CTENTRY 1 (NIL)
3 10 2))
(10 B D E C C)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
5 1 9)
(CTENTRY 9 (NIL)
6 10 8)
(CTENTRY 8 (NIL)
2 9 7)
(CTENTRY 7 (NIL)
3 8 6)
(CTENTRY 6 (NIL)
9 7 5)
(CTENTRY 5 (NIL)
10 6 4)
(CTENTRY 4 (NIL)
1 5 3)
(CTENTRY 3 (NIL)
7 4 2)
(CTENTRY 2 (NIL)
8 3 1)
(CTENTRY 1 (NIL)
4 10 2))
(10 C F D E C)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
9 1 9)
(CTENTRY 9 (NIL)
10 10 8)
(CTENTRY 8 (NIL)
7 9 7)
(CTENTRY 7 (NIL)
8 8 6)
(CTENTRY 6 (NIL)
5 7 5)
(CTENTRY 5 (NIL)
6 6 4)
(CTENTRY 4 (NIL)
3 5 3)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A A A A A)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
8 1 9)
(CTENTRY 9 (NIL)
7 10 8)
(CTENTRY 8 (NIL)
10 9 7)
(CTENTRY 7 (NIL)
9 8 6)
(CTENTRY 6 (NIL)
5 7 5)
(CTENTRY 5 (NIL)
6 6 4)
(CTENTRY 4 (NIL)
3 5 3)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A A A B B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
7 1 9)
(CTENTRY 9 (NIL)
8 10 8)
(CTENTRY 8 (NIL)
9 9 7)
(CTENTRY 7 (NIL)
10 8 6)
(CTENTRY 6 (NIL)
5 7 5)
(CTENTRY 5 (NIL)
6 6 4)
(CTENTRY 4 (NIL)
3 5 3)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A A A C A)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
8 1 9)
(CTENTRY 9 (NIL)
6 10 8)
(CTENTRY 8 (NIL)
10 9 7)
(CTENTRY 7 (NIL)
5 8 6)
(CTENTRY 6 (NIL)
9 7 5)
(CTENTRY 5 (NIL)
7 6 4)
(CTENTRY 4 (NIL)
3 5 3)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A A B C B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
6 1 9)
(CTENTRY 9 (NIL)
8 10 8)
(CTENTRY 8 (NIL)
9 9 7)
(CTENTRY 7 (NIL)
5 8 6)
(CTENTRY 6 (NIL)
10 7 5)
(CTENTRY 5 (NIL)
7 6 4)
(CTENTRY 4 (NIL)
3 5 3)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A A B D A)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
6 1 9)
(CTENTRY 9 (NIL)
7 10 8)
(CTENTRY 8 (NIL)
5 9 7)
(CTENTRY 7 (NIL)
9 8 6)
(CTENTRY 6 (NIL)
10 7 5)
(CTENTRY 5 (NIL)
8 6 4)
(CTENTRY 4 (NIL)
3 5 3)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A A C D B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
6 1 9)
(CTENTRY 9 (NIL)
5 10 8)
(CTENTRY 8 (NIL)
7 9 7)
(CTENTRY 7 (NIL)
8 8 6)
(CTENTRY 6 (NIL)
10 7 5)
(CTENTRY 5 (NIL)
9 6 4)
(CTENTRY 4 (NIL)
3 5 3)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A A D D A)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
5 1 9)
(CTENTRY 9 (NIL)
8 10 8)
(CTENTRY 8 (NIL)
9 9 7)
(CTENTRY 7 (NIL)
6 8 6)
(CTENTRY 6 (NIL)
7 7 5)
(CTENTRY 5 (NIL)
10 6 4)
(CTENTRY 4 (NIL)
3 5 3)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A A E A A)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
5 1 9)
(CTENTRY 9 (NIL)
7 10 8)
(CTENTRY 8 (NIL)
6 9 7)
(CTENTRY 7 (NIL)
9 8 6)
(CTENTRY 6 (NIL)
8 7 5)
(CTENTRY 5 (NIL)
10 6 4)
(CTENTRY 4 (NIL)
3 5 3)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A A E B B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
5 1 9)
(CTENTRY 9 (NIL)
6 10 8)
(CTENTRY 8 (NIL)
7 9 7)
(CTENTRY 7 (NIL)
8 8 6)
(CTENTRY 6 (NIL)
9 7 5)
(CTENTRY 5 (NIL)
10 6 4)
(CTENTRY 4 (NIL)
3 5 3)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A A E C A)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
8 1 9)
(CTENTRY 9 (NIL)
7 10 8)
(CTENTRY 8 (NIL)
10 9 7)
(CTENTRY 7 (NIL)
9 8 6)
(CTENTRY 6 (NIL)
4 7 5)
(CTENTRY 5 (NIL)
3 6 4)
(CTENTRY 4 (NIL)
6 5 3)
(CTENTRY 3 (NIL)
5 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A B B B B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
7 1 9)
(CTENTRY 9 (NIL)
8 10 8)
(CTENTRY 8 (NIL)
9 9 7)
(CTENTRY 7 (NIL)
10 8 6)
(CTENTRY 6 (NIL)
4 7 5)
(CTENTRY 5 (NIL)
3 6 4)
(CTENTRY 4 (NIL)
6 5 3)
(CTENTRY 3 (NIL)
5 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A B B C A)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
8 1 9)
(CTENTRY 9 (NIL)
6 10 8)
(CTENTRY 8 (NIL)
10 9 7)
(CTENTRY 7 (NIL)
4 8 6)
(CTENTRY 6 (NIL)
9 7 5)
(CTENTRY 5 (NIL)
3 6 4)
(CTENTRY 4 (NIL)
7 5 3)
(CTENTRY 3 (NIL)
5 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A B C C B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
6 1 9)
(CTENTRY 9 (NIL)
8 10 8)
(CTENTRY 8 (NIL)
9 9 7)
(CTENTRY 7 (NIL)
4 8 6)
(CTENTRY 6 (NIL)
10 7 5)
(CTENTRY 5 (NIL)
3 6 4)
(CTENTRY 4 (NIL)
7 5 3)
(CTENTRY 3 (NIL)
5 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A B C D A)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
6 1 9)
(CTENTRY 9 (NIL)
7 10 8)
(CTENTRY 8 (NIL)
4 9 7)
(CTENTRY 7 (NIL)
9 8 6)
(CTENTRY 6 (NIL)
10 7 5)
(CTENTRY 5 (NIL)
3 6 4)
(CTENTRY 4 (NIL)
8 5 3)
(CTENTRY 3 (NIL)
5 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A B D D B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
8 1 9)
(CTENTRY 9 (NIL)
4 10 8)
(CTENTRY 8 (NIL)
10 9 7)
(CTENTRY 7 (NIL)
6 8 6)
(CTENTRY 6 (NIL)
7 7 5)
(CTENTRY 5 (NIL)
3 6 4)
(CTENTRY 4 (NIL)
9 5 3)
(CTENTRY 3 (NIL)
5 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A B E A B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
6 1 9)
(CTENTRY 9 (NIL)
4 10 8)
(CTENTRY 8 (NIL)
7 9 7)
(CTENTRY 7 (NIL)
8 8 6)
(CTENTRY 6 (NIL)
10 7 5)
(CTENTRY 5 (NIL)
3 6 4)
(CTENTRY 4 (NIL)
9 5 3)
(CTENTRY 3 (NIL)
5 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A B E D A)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
4 1 9)
(CTENTRY 9 (NIL)
7 10 8)
(CTENTRY 8 (NIL)
6 9 7)
(CTENTRY 7 (NIL)
9 8 6)
(CTENTRY 6 (NIL)
8 7 5)
(CTENTRY 5 (NIL)
3 6 4)
(CTENTRY 4 (NIL)
10 5 3)
(CTENTRY 3 (NIL)
5 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A B F B B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
4 1 9)
(CTENTRY 9 (NIL)
6 10 8)
(CTENTRY 8 (NIL)
7 9 7)
(CTENTRY 7 (NIL)
8 8 6)
(CTENTRY 6 (NIL)
9 7 5)
(CTENTRY 5 (NIL)
3 6 4)
(CTENTRY 4 (NIL)
10 5 3)
(CTENTRY 3 (NIL)
5 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A B F C A)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
7 1 9)
(CTENTRY 9 (NIL)
8 10 8)
(CTENTRY 8 (NIL)
9 9 7)
(CTENTRY 7 (NIL)
10 8 6)
(CTENTRY 6 (NIL)
3 7 5)
(CTENTRY 5 (NIL)
4 6 4)
(CTENTRY 4 (NIL)
5 5 3)
(CTENTRY 3 (NIL)
6 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A C A C A)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
7 1 9)
(CTENTRY 9 (NIL)
4 10 8)
(CTENTRY 8 (NIL)
5 9 7)
(CTENTRY 7 (NIL)
10 8 6)
(CTENTRY 6 (NIL)
3 7 5)
(CTENTRY 5 (NIL)
8 6 4)
(CTENTRY 4 (NIL)
9 5 3)
(CTENTRY 3 (NIL)
6 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A C E C C)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
4 1 9)
(CTENTRY 9 (NIL)
7 10 8)
(CTENTRY 8 (NIL)
5 9 7)
(CTENTRY 7 (NIL)
9 8 6)
(CTENTRY 6 (NIL)
3 7 5)
(CTENTRY 5 (NIL)
8 6 4)
(CTENTRY 4 (NIL)
10 5 3)
(CTENTRY 3 (NIL)
6 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A C F C B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
4 1 9)
(CTENTRY 9 (NIL)
5 10 8)
(CTENTRY 8 (NIL)
7 9 7)
(CTENTRY 7 (NIL)
8 8 6)
(CTENTRY 6 (NIL)
3 7 5)
(CTENTRY 5 (NIL)
9 6 4)
(CTENTRY 4 (NIL)
10 5 3)
(CTENTRY 3 (NIL)
6 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A C F D A)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
6 1 9)
(CTENTRY 9 (NIL)
8 10 8)
(CTENTRY 8 (NIL)
9 9 7)
(CTENTRY 7 (NIL)
3 8 6)
(CTENTRY 6 (NIL)
10 7 5)
(CTENTRY 5 (NIL)
4 6 4)
(CTENTRY 4 (NIL)
5 5 3)
(CTENTRY 3 (NIL)
7 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A D A D A)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
5 1 9)
(CTENTRY 9 (NIL)
8 10 8)
(CTENTRY 8 (NIL)
9 9 7)
(CTENTRY 7 (NIL)
3 8 6)
(CTENTRY 6 (NIL)
4 7 5)
(CTENTRY 5 (NIL)
10 6 4)
(CTENTRY 4 (NIL)
6 5 3)
(CTENTRY 3 (NIL)
7 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A D B E A)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
5 1 9)
(CTENTRY 9 (NIL)
7 10 8)
(CTENTRY 8 (NIL)
3 9 7)
(CTENTRY 7 (NIL)
9 8 6)
(CTENTRY 6 (NIL)
4 7 5)
(CTENTRY 5 (NIL)
10 6 4)
(CTENTRY 4 (NIL)
6 5 3)
(CTENTRY 3 (NIL)
8 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A E B E B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
5 1 9)
(CTENTRY 9 (NIL)
3 10 8)
(CTENTRY 8 (NIL)
6 9 7)
(CTENTRY 7 (NIL)
4 8 6)
(CTENTRY 6 (NIL)
8 7 5)
(CTENTRY 5 (NIL)
10 6 4)
(CTENTRY 4 (NIL)
7 5 3)
(CTENTRY 3 (NIL)
9 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A F C E B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
5 1 9)
(CTENTRY 9 (NIL)
3 10 8)
(CTENTRY 8 (NIL)
4 9 7)
(CTENTRY 7 (NIL)
6 8 6)
(CTENTRY 6 (NIL)
7 7 5)
(CTENTRY 5 (NIL)
10 6 4)
(CTENTRY 4 (NIL)
8 5 3)
(CTENTRY 3 (NIL)
9 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A F D E A)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
4 1 9)
(CTENTRY 9 (NIL)
3 10 8)
(CTENTRY 8 (NIL)
6 9 7)
(CTENTRY 7 (NIL)
5 8 6)
(CTENTRY 6 (NIL)
8 7 5)
(CTENTRY 5 (NIL)
7 6 4)
(CTENTRY 4 (NIL)
10 5 3)
(CTENTRY 3 (NIL)
9 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A F F B B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
3 1 9)
(CTENTRY 9 (NIL)
7 10 8)
(CTENTRY 8 (NIL)
5 9 7)
(CTENTRY 7 (NIL)
9 8 6)
(CTENTRY 6 (NIL)
4 7 5)
(CTENTRY 5 (NIL)
8 6 4)
(CTENTRY 4 (NIL)
6 5 3)
(CTENTRY 3 (NIL)
10 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A G B C B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
3 1 9)
(CTENTRY 9 (NIL)
5 10 8)
(CTENTRY 8 (NIL)
6 9 7)
(CTENTRY 7 (NIL)
4 8 6)
(CTENTRY 6 (NIL)
8 7 5)
(CTENTRY 5 (NIL)
9 6 4)
(CTENTRY 4 (NIL)
7 5 3)
(CTENTRY 3 (NIL)
10 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A G C D B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
3 1 9)
(CTENTRY 9 (NIL)
5 10 8)
(CTENTRY 8 (NIL)
4 9 7)
(CTENTRY 7 (NIL)
6 8 6)
(CTENTRY 6 (NIL)
7 7 5)
(CTENTRY 5 (NIL)
9 6 4)
(CTENTRY 4 (NIL)
8 5 3)
(CTENTRY 3 (NIL)
10 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A G D D A)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
3 1 9)
(CTENTRY 9 (NIL)
4 10 8)
(CTENTRY 8 (NIL)
6 9 7)
(CTENTRY 7 (NIL)
5 8 6)
(CTENTRY 6 (NIL)
8 7 5)
(CTENTRY 5 (NIL)
7 6 4)
(CTENTRY 4 (NIL)
9 5 3)
(CTENTRY 3 (NIL)
10 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A G E B B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
3 1 9)
(CTENTRY 9 (NIL)
4 10 8)
(CTENTRY 8 (NIL)
5 9 7)
(CTENTRY 7 (NIL)
6 8 6)
(CTENTRY 6 (NIL)
7 7 5)
(CTENTRY 5 (NIL)
8 6 4)
(CTENTRY 4 (NIL)
9 5 3)
(CTENTRY 3 (NIL)
10 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
2 10 2))
(10 A G E C A)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
8 1 9)
(CTENTRY 9 (NIL)
6 10 8)
(CTENTRY 8 (NIL)
10 9 7)
(CTENTRY 7 (NIL)
5 8 6)
(CTENTRY 6 (NIL)
9 7 5)
(CTENTRY 5 (NIL)
7 6 4)
(CTENTRY 4 (NIL)
2 5 3)
(CTENTRY 3 (NIL)
1 4 2)
(CTENTRY 2 (NIL)
4 3 1)
(CTENTRY 1 (NIL)
3 10 2))
(10 B B B C B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
6 1 9)
(CTENTRY 9 (NIL)
7 10 8)
(CTENTRY 8 (NIL)
5 9 7)
(CTENTRY 7 (NIL)
9 8 6)
(CTENTRY 6 (NIL)
10 7 5)
(CTENTRY 5 (NIL)
8 6 4)
(CTENTRY 4 (NIL)
2 5 3)
(CTENTRY 3 (NIL)
1 4 2)
(CTENTRY 2 (NIL)
4 3 1)
(CTENTRY 1 (NIL)
3 10 2))
(10 B B C D B)
10 NIL)
(STRUCTURE ((CTENTRY 10 (NIL)
5 1 9)
(CTENTRY 9 (NIL)
7 10 8)
(CTENTRY 8 (NIL)
6 9 7)
(CTENTRY 7 (NIL)
9 8 6)
(CTENTRY 6 (NIL)
8 7 5)
(CTENTRY 5 (NIL)
10 6 4)
(CTENTRY 4 (NIL)
2 5 3)
(CTENTRY 3 (NIL)
1 4 2)
(CTENTRY 2 (NIL)
4 3 1)
(CTENTRY 1 (NIL)
3 10 2))
(10 B B E B B)
10 NIL))
((0 3)
(STRUCTURE ((CTENTRY 1 (NIL)
3 2 3 2)
(CTENTRY 2 (NIL)
1 3 3 1)
(CTENTRY 3 (NIL)
1 1 2 2))
(6 C C C)
3 NIL))
((0 4)
(STRUCTURE ((CTENTRY 4 (NIL)
1 1 3 3)
(CTENTRY 3 (NIL)
2 4 4 2)
(CTENTRY 2 (NIL)
1 3 3 1)
(CTENTRY 1 (NIL)
4 4 2 2))
Q1 4 NIL)
(STRUCTURE ((CTENTRY 4 (NIL)
1 3 3 3)
(CTENTRY 3 (NIL)
4 4 4 2)
(CTENTRY 2 (NIL)
1 1 3 1)
(CTENTRY 1 (NIL)
4 2 2 2))
Q2 4 NIL)
(STRUCTURE ((CTENTRY 4 (NIL)
2 1 3 3)
(CTENTRY 3 (NIL)
1 4 4 2)
(CTENTRY 2 (NIL)
4 1 3 1)
(CTENTRY 1 (NIL)
3 4 2 2))
Q3 4 NIL))
((0 5)
(STRUCTURE ((CTENTRY 5 (NIL)
1 3 4 4)
(CTENTRY 4 (NIL)
3 5 5 3)
(CTENTRY 3 (NIL)
5 4 4 2)
(CTENTRY 2 (NIL)
1 1 3 1)
(CTENTRY 1 (NIL)
5 2 2 2))
G1 5 NIL)
(STRUCTURE ((CTENTRY 5 (NIL)
1 1 4 4)
(CTENTRY 4 (NIL)
3 5 5 3)
(CTENTRY 3 (NIL)
2 4 4 2)
(CTENTRY 2 (NIL)
1 3 3 1)
(CTENTRY 1 (NIL)
5 5 2 2))
G2 5 NIL)
(STRUCTURE ((CTENTRY 5 (NIL)
2 1 4 4)
(CTENTRY 4 (NIL)
3 5 5 3)
(CTENTRY 3 (NIL)
1 4 4 2)
(CTENTRY 2 (NIL)
5 1 3 1)
(CTENTRY 1 (NIL)
3 5 2 2))
G3 5 NIL)
(STRUCTURE ((CTENTRY 5 (NIL)
4 3 2 1)
(CTENTRY 4 (NIL)
5 3 2 1)
(CTENTRY 3 (NIL)
5 4 1 2)
(CTENTRY 2 (NIL)
5 4 3 1)
(CTENTRY 1 (NIL)
5 4 3 2))
G5 5 NIL)
(STRUCTURE ((CTENTRY 5 (NIL)
4 3 2 1)
(CTENTRY 4 (NIL)
5 3 3 3)
(CTENTRY 3 (NIL)
5 4 4 4)
(CTENTRY 2 (NIL)
5 1 1 1)
(CTENTRY 1 (NIL)
5 2 2 2))
G6 5 NIL))
((0 6)
(STRUCTURE ((CTENTRY 6 (NIL)
4 5 5 5)
(CTENTRY 5 (NIL)
3 6 6 6)
(CTENTRY 4 (NIL)
6 1 3 3)
(CTENTRY 3 (NIL)
5 4 4 2)
(CTENTRY 2 (NIL)
1 1 3 1)
(CTENTRY 1 (NIL)
4 2 2 2))
JAN2 6 NIL)
(STRUCTURE ((CTENTRY 6 (NIL)
1 5 5 5)
(CTENTRY 5 (NIL)
6 6 6 4)
(CTENTRY 4 (NIL)
3 3 5 3)
(CTENTRY 3 (NIL)
4 4 4 2)
(CTENTRY 2 (NIL)
1 1 3 1)
(CTENTRY 1 (NIL)
6 2 2 2))
JAN5 6 NIL)
(STRUCTURE ((CTENTRY 6 (NIL)
4 4 5 5)
(CTENTRY 5 (NIL)
3 1 6 6)
(CTENTRY 4 (NIL)
6 6 3 3)
(CTENTRY 3 (NIL)
5 4 4 2)
(CTENTRY 2 (NIL)
1 1 3 1)
(CTENTRY 1 (NIL)
5 2 2 2))
QUADSIX1 6 NIL)
(STRUCTURE ((CTENTRY 6 (NIL)
4 3 5 5)
(CTENTRY 5 (NIL)
4 1 6 6)
(CTENTRY 4 (NIL)
6 5 3 3)
(CTENTRY 3 (NIL)
6 4 4 2)
(CTENTRY 2 (NIL)
1 1 3 1)
(CTENTRY 1 (NIL)
5 2 2 2))
QUADSIX2 6 NIL)
(STRUCTURE ((CTENTRY 6 (NIL)
2 4 3 5)
(CTENTRY 5 (NIL)
2 3 6 4)
(CTENTRY 4 (NIL)
1 6 5 3)
(CTENTRY 3 (NIL)
1 5 6 4)
(CTENTRY 2 (NIL)
6 5 1 1)
(CTENTRY 1 (NIL)
4 3 2 2))
QUADSIX3 6 NIL)
(STRUCTURE ((CTENTRY 6 (NIL)
4 3 5 5)
(CTENTRY 5 (NIL)
2 1 6 6)
(CTENTRY 4 (NIL)
6 1 3 3)
(CTENTRY 3 (NIL)
6 4 4 2)
(CTENTRY 2 (NIL)
5 1 3 1)
(CTENTRY 1 (NIL)
5 4 2 2))
QUADSIX4 6 NIL)
(STRUCTURE ((CTENTRY 6 (NIL)
3 2 5 5)
(CTENTRY 5 (NIL)
4 1 6 6)
(CTENTRY 4 (NIL)
5 1 3 3)
(CTENTRY 3 (NIL)
6 4 4 2)
(CTENTRY 2 (NIL)
6 1 3 1)
(CTENTRY 1 (NIL)
5 4 2 2))
QUADSIX5 6 NIL)
(STRUCTURE ((CTENTRY 6 (NIL)
2 4 5 5)
(CTENTRY 5 (NIL)
3 1 6 6)
(CTENTRY 4 (NIL)
6 1 3 3)
(CTENTRY 3 (NIL)
5 4 4 2)
(CTENTRY 2 (NIL)
6 1 3 1)
(CTENTRY 1 (NIL)
5 4 2 2))
QUADSIX6 6 NIL)
(STRUCTURE ((CTENTRY 6 (NIL)
4 3 5 5)
(CTENTRY 5 (NIL)
4 3 6 6)
(CTENTRY 4 (NIL)
6 5 1 3)
(CTENTRY 3 (NIL)
6 5 4 2)
(CTENTRY 2 (NIL)
1 1 3 1)
(CTENTRY 1 (NIL)
4 2 2 2))
QUADSIX8 6 NIL)
(STRUCTURE ((CTENTRY 6 (NIL)
3 3 5 5)
(CTENTRY 5 (NIL)
1 1 6 6)
(CTENTRY 4 (NIL)
2 2 1 3)
(CTENTRY 3 (NIL)
6 6 4 2)
(CTENTRY 2 (NIL)
4 4 3 1)
(CTENTRY 1 (NIL)
5 5 4 2))
QUADSIX9 6 NIL)
(STRUCTURE ((CTENTRY 6 (NIL)
3 1 5 5)
(CTENTRY 5 (NIL)
3 1 6 6)
(CTENTRY 4 (NIL)
2 2 1 3)
(CTENTRY 3 (NIL)
6 5 4 2)
(CTENTRY 2 (NIL)
4 4 3 1)
(CTENTRY 1 (NIL)
6 5 4 2))
Q10 6 NIL)
(STRUCTURE ((CTENTRY 6 (NIL)
1 5 5)
(CTENTRY 5 (NIL)
4 6 6 4)
(CTENTRY 4 (NIL)
3 5 5 3)
(CTENTRY 3 (NIL)
2 4 4 2)
(CTENTRY 2 (NIL)
1 3 3 1)
(CTENTRY 1 (NIL)
6 2 2))
Q11 6 NIL)
(STRUCTURE ((CTENTRY 6 (NIL)
3 2 1 5)
(CTENTRY 5 (NIL)
1 4 6 4)
(CTENTRY 4 (NIL)
3 5 5 3)
(CTENTRY 3 (NIL)
6 4 4 2)
(CTENTRY 2 (NIL)
6 1 3 1)
(CTENTRY 1 (NIL)
5 6 2 2))
Q13 6 NIL)
(STRUCTURE ((CTENTRY 6 (NIL)
3 2 1 5)
(CTENTRY 5 (NIL)
3 4 6 4)
(CTENTRY 4 (NIL)
1 5 5 3)
(CTENTRY 3 (NIL)
6 5 4 2)
(CTENTRY 2 (NIL)
6 1 3 1)
(CTENTRY 1 (NIL)
4 6 2 2))
Q14 6 NIL)
(STRUCTURE ((CTENTRY 6 (NIL)
3 1 5 5)
(CTENTRY 5 (NIL)
4 6 6 4)
(CTENTRY 4 (NIL)
1 5 5 3)
(CTENTRY 3 (NIL)
6 2 4 2)
(CTENTRY 2 (NIL)
1 3 3 1)
(CTENTRY 1 (NIL)
4 6 2 2))
Q15 6 NIL)
(STRUCTURE ((CTENTRY 6 (NIL)
4 1 5 5)
(CTENTRY 5 (NIL)
4 6 6 4)
(CTENTRY 4 (NIL)
6 5 5 3)
(CTENTRY 3 (NIL)
1 2 4 2)
(CTENTRY 2 (NIL)
1 3 3 1)
(CTENTRY 1 (NIL)
3 6 2 2))
Q17 6 NIL)
(STRUCTURE ((CTENTRY 6 (NIL)
4 5 5 5)
(CTENTRY 5 (NIL)
4 6 6 6)
(CTENTRY 4 (NIL)
5 6 1 3)
(CTENTRY 3 (NIL)
1 2 4 2)
(CTENTRY 2 (NIL)
1 3 3 1)
(CTENTRY 1 (NIL)
3 4 2 2))
Q18 6 NIL)
(STRUCTURE ((CTENTRY 6 (NIL)
3 3 4 5)
(CTENTRY 5 (NIL)
4 4 6 4)
(CTENTRY 4 (NIL)
6 5 5 5)
(CTENTRY 3 (NIL)
6 6 1 2)
(CTENTRY 2 (NIL)
1 1 3 1)
(CTENTRY 1 (NIL)
3 2 2 2))
Q19 6 NIL)
(STRUCTURE ((CTENTRY 6 (NIL)
4 3 2 1)
(CTENTRY 5 (NIL)
4 3 2 1)
(CTENTRY 4 (NIL)
6 5 1 3)
(CTENTRY 3 (NIL)
6 5 4 2)
(CTENTRY 2 (NIL)
6 5 3 1)
(CTENTRY 1 (NIL)
6 5 4 2))
Q20 6 NIL))
((2 2)
(STRUCTURE ((CTENTRY 1 (NIL)
3 4 2)
(CTENTRY 2 (NIL)
4 3 1)
(CTENTRY 3 (NIL)
4 1 2 4)
(CTENTRY 4 (NIL)
2 3 1 3))
(6 C C C)
4 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
4 2 2)
(CTENTRY 2 (NIL)
3 1 1)
(CTENTRY 3 (NIL)
4 2 4 4)
(CTENTRY 4 (NIL)
1 3 3 3))
(6 A C A)
4 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
4 2 2)
(CTENTRY 2 (NIL)
4 1 1 3)
(CTENTRY 3 (NIL)
4 2 4)
(CTENTRY 4 (NIL)
1 2 3 3))
(6 A C A)
4 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
4 4 2 2)
(CTENTRY 2 (NIL)
1 1 3)
(CTENTRY 3 (NIL)
4 2 4)
(CTENTRY 4 (NIL)
1 1 3 3))
(6 A B B)
4 NIL))
((2 3)
(STRUCTURE ((CTENTRY 1 (NIL)
3 2 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 3 (NIL)
5 1 4 2)
(CTENTRY 4 (NIL)
5 5 5 3)
(CTENTRY 5 (NIL)
4 3 4 4))
(8 A E B B)
5 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
3 5 2 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 3 (NIL)
1 4 2)
(CTENTRY 4 (NIL)
5 5 5 3)
(CTENTRY 5 (NIL)
1 4 4 4))
(8 A E B B)
5 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
5 3 2 2)
(CTENTRY 2 (NIL)
3 3 1 1)
(CTENTRY 3 (NIL)
1 2 2 4)
(CTENTRY 4 (NIL)
3 5 5)
(CTENTRY 5 (NIL)
1 4 4))
(8 A A C A)
5 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
5 2 2)
(CTENTRY 2 (NIL)
3 3 1 1)
(CTENTRY 3 (NIL)
2 2 4)
(CTENTRY 4 (NIL)
5 5 5 3)
(CTENTRY 5 (NIL)
1 4 4 4))
(8 A A B B)
5 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
2 5 2)
(CTENTRY 2 (NIL)
3 1 4 1)
(CTENTRY 3 (NIL)
4 5 2 4)
(CTENTRY 4 (NIL)
5 3 2 3)
(CTENTRY 5 (NIL)
4 3 1))
(8 B C C B)
5 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
5 4 3 2)
(CTENTRY 2 (NIL)
4 3 3 1)
(CTENTRY 3 (NIL)
2 5 1 2)
(CTENTRY 4 (NIL)
1 2 5)
(CTENTRY 5 (NIL)
1 3 4))
(8 B C C B)
5 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
5 4 3 2)
(CTENTRY 2 (NIL)
4 5 3 1)
(CTENTRY 3 (NIL)
1 4 2)
(CTENTRY 4 (NIL)
1 5 2 3)
(CTENTRY 5 (NIL)
1 4 2))
(8 B C C B)
5 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
5 4 2 2)
(CTENTRY 2 (NIL)
3 1 3 1)
(CTENTRY 3 (NIL)
2 4 2 5)
(CTENTRY 4 (NIL)
1 3 5)
(CTENTRY 5 (NIL)
1 3 4))
(8 B C C B)
5 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
2 5 2)
(CTENTRY 2 (NIL)
3 1 3 1)
(CTENTRY 3 (NIL)
4 2 4 2)
(CTENTRY 4 (NIL)
5 3 3 5)
(CTENTRY 5 (NIL)
4 4 1))
(8 B C C B)
5 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
2 3 5 2)
(CTENTRY 2 (NIL)
1 3 4 1)
(CTENTRY 3 (NIL)
1 4 2)
(CTENTRY 4 (NIL)
5 3 2 5)
(CTENTRY 5 (NIL)
4 4 1))
(8 B C C B)
5 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
4 2 3 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 3 (NIL)
1 4 2 5)
(CTENTRY 4 (NIL)
5 1 3 5)
(CTENTRY 5 (NIL)
4 3 4))
(8 B C C B)
5 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
2 3 2 5)
(CTENTRY 2 (NIL)
1 1 3)
(CTENTRY 3 (NIL)
1 4 4 2)
(CTENTRY 4 (NIL)
5 3 3 5)
(CTENTRY 5 (NIL)
4 4 1))
(8 B C C B)
5 NIL))
((6 1)
(STRUCTURE ((CTENTRY 1 (NIL)
7 7 2 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 4 (NIL)
3 5 3)
(CTENTRY 5 (NIL)
6 6 4)
(CTENTRY 6 (NIL)
5 7 5)
(CTENTRY 7 (NIL)
1 1 6))
(8 A A A A)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
2 7 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 3 (NIL)
4 5 4 2)
(CTENTRY 4 (NIL)
3 7 3)
(CTENTRY 5 (NIL)
3 6 6)
(CTENTRY 6 (NIL)
5 7 5)
(CTENTRY 7 (NIL)
4 1 6))
(8 A B D A)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
7 5 2 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 4 (NIL)
3 5 3)
(CTENTRY 5 (NIL)
1 6 4)
(CTENTRY 6 (NIL)
7 7 5)
(CTENTRY 7 (NIL)
1 6 6))
(8 A A C A)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
5 2 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 4 (NIL)
3 5 3)
(CTENTRY 5 (NIL)
7 1 6 4)
(CTENTRY 6 (NIL)
7 7 5)
(CTENTRY 7 (NIL)
5 6 6))
(8 A A C A)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
2 7 2)
(CTENTRY 2 (NIL)
3 3 1 1)
(CTENTRY 3 (NIL)
2 2 4)
(CTENTRY 4 (NIL)
7 5 3)
(CTENTRY 5 (NIL)
6 6 4)
(CTENTRY 6 (NIL)
5 7 5)
(CTENTRY 7 (NIL)
4 1 6))
(8 A A C A)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
2 7 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 4 (NIL)
3 5 3)
(CTENTRY 5 (NIL)
6 7 6 4)
(CTENTRY 6 (NIL)
5 5 7)
(CTENTRY 7 (NIL)
5 1 6))
(8 A A B B)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
3 2 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 3 (NIL)
7 1 4 2)
(CTENTRY 4 (NIL)
7 5 3)
(CTENTRY 5 (NIL)
6 6 4)
(CTENTRY 6 (NIL)
5 7 5)
(CTENTRY 7 (NIL)
3 4 6))
(8 A E C A)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
2 7 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 3 (NIL)
7 4 2)
(CTENTRY 4 (NIL)
5 6 5 3)
(CTENTRY 5 (NIL)
4 4 6)
(CTENTRY 6 (NIL)
4 7 5)
(CTENTRY 7 (NIL)
3 1 6))
(8 A E B B)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
2 7 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 3 (NIL)
6 4 2)
(CTENTRY 4 (NIL)
7 5 3)
(CTENTRY 5 (NIL)
6 6 4)
(CTENTRY 6 (NIL)
7 5 3 5)
(CTENTRY 7 (NIL)
6 4 1))
(8 A C D B)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
2 7 2)
(CTENTRY 2 (NIL)
3 4 1 1)
(CTENTRY 3 (NIL)
2 7 4)
(CTENTRY 4 (NIL)
2 5 3)
(CTENTRY 5 (NIL)
6 6 4)
(CTENTRY 6 (NIL)
5 7 5)
(CTENTRY 7 (NIL)
3 1 6))
(8 A B D A)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
4 2 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 3 (NIL)
5 4 2)
(CTENTRY 4 (NIL)
7 1 5 3)
(CTENTRY 5 (NIL)
3 6 4)
(CTENTRY 6 (NIL)
7 7 5)
(CTENTRY 7 (NIL)
4 6 6))
(8 A B D A)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
2 7 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 3 (NIL)
4 6 4 2)
(CTENTRY 4 (NIL)
3 3 5)
(CTENTRY 5 (NIL)
7 6 4)
(CTENTRY 6 (NIL)
3 7 5)
(CTENTRY 7 (NIL)
5 1 6))
(8 A B C B)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
7 6 2 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 4 (NIL)
3 5 3)
(CTENTRY 5 (NIL)
7 6 4)
(CTENTRY 6 (NIL)
1 7 5)
(CTENTRY 7 (NIL)
1 5 6))
(8 A A B B)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
2 7 2)
(CTENTRY 2 (NIL)
3 3 1 1)
(CTENTRY 3 (NIL)
2 2 4)
(CTENTRY 4 (NIL)
6 5 3)
(CTENTRY 5 (NIL)
7 6 4)
(CTENTRY 6 (NIL)
4 7 5)
(CTENTRY 7 (NIL)
5 1 6))
(8 A A B B)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
7 6 3 2)
(CTENTRY 2 (NIL)
5 3 1)
(CTENTRY 3 (NIL)
1 4 2)
(CTENTRY 4 (NIL)
7 5 3)
(CTENTRY 5 (NIL)
2 6 4)
(CTENTRY 6 (NIL)
1 7 5)
(CTENTRY 7 (NIL)
1 4 6))
(8 B C C B)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
3 7 2)
(CTENTRY 2 (NIL)
4 5 3 1)
(CTENTRY 3 (NIL)
1 4 2)
(CTENTRY 4 (NIL)
2 6 3)
(CTENTRY 5 (NIL)
2 7 6)
(CTENTRY 6 (NIL)
4 7 5)
(CTENTRY 7 (NIL)
5 1 6))
(8 B C C B)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
3 7 2)
(CTENTRY 2 (NIL)
4 3 1)
(CTENTRY 3 (NIL)
1 4 2)
(CTENTRY 4 (NIL)
5 2 6 3)
(CTENTRY 5 (NIL)
4 7 6)
(CTENTRY 6 (NIL)
4 7 5)
(CTENTRY 7 (NIL)
5 1 6))
(8 B C C B)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
7 3 2 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 3 (NIL)
1 4 2)
(CTENTRY 4 (NIL)
6 5 3)
(CTENTRY 5 (NIL)
7 6 4)
(CTENTRY 6 (NIL)
4 7 5)
(CTENTRY 7 (NIL)
1 5 6))
(8 A E B B)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
3 2 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 3 (NIL)
7 1 4 2)
(CTENTRY 4 (NIL)
6 5 3)
(CTENTRY 5 (NIL)
7 6 4)
(CTENTRY 6 (NIL)
4 7 5)
(CTENTRY 7 (NIL)
3 5 6))
(8 A E B B)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
2 7 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 3 (NIL)
4 7 5 2)
(CTENTRY 4 (NIL)
3 6 5)
(CTENTRY 5 (NIL)
3 6 4)
(CTENTRY 6 (NIL)
4 7 5)
(CTENTRY 7 (NIL)
3 1 6))
(8 A C D B)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
2 7 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 3 (NIL)
5 6 4 2)
(CTENTRY 4 (NIL)
7 5 3)
(CTENTRY 5 (NIL)
3 6 4)
(CTENTRY 6 (NIL)
3 5 7)
(CTENTRY 7 (NIL)
4 1 6))
(8 A C D B)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
2 7 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 3 (NIL)
5 4 2)
(CTENTRY 4 (NIL)
6 7 5 3)
(CTENTRY 5 (NIL)
3 6 4)
(CTENTRY 6 (NIL)
4 7 5)
(CTENTRY 7 (NIL)
4 6 1))
(8 A B C B)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
2 4 2 7)
(CTENTRY 2 (NIL)
1 1 3)
(CTENTRY 3 (NIL)
6 4 2)
(CTENTRY 4 (NIL)
1 5 3)
(CTENTRY 5 (NIL)
7 6 4)
(CTENTRY 6 (NIL)
3 7 5)
(CTENTRY 7 (NIL)
5 1 6))
(8 B C C B)
7 NIL)
(STRUCTURE ((CTENTRY 1 (NIL)
2 7 2)
(CTENTRY 2 (NIL)
3 1 4 1)
(CTENTRY 3 (NIL)
2 6 4)
(CTENTRY 4 (NIL)
2 5 3)
(CTENTRY 5 (NIL)
7 6 4)
(CTENTRY 6 (NIL)
3 7 5)
(CTENTRY 7 (NIL)
5 1 6))
(8 B C C B)
7 NIL))
((2 3)
(STRUCTURE ((CTENTRY 5 (NIL)
1 4 4)
(CTENTRY 4 (NIL)
3 5 5 3)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 2 (NIL)
1 1 3 1)
(CTENTRY 1 (NIL)
5 2 2 2))
R1 5 NIL)
(STRUCTURE ((CTENTRY 5 (NIL)
3 1 4 4)
(CTENTRY 4 (NIL)
5 5 3)
(CTENTRY 3 (NIL)
5 4 2)
(CTENTRY 2 (NIL)
1 1 3 1)
(CTENTRY 1 (NIL)
5 2 2 2))
R2 5 NIL)
(STRUCTURE ((CTENTRY 5 (NIL)
1 4 4)
(CTENTRY 4 (NIL)
3 5 5 3)
(CTENTRY 3 (NIL)
2 4 4 2)
(CTENTRY 2 (NIL)
1 3 3 1)
(CTENTRY 1 (NIL)
5 2 2))
R3 5 NIL)
(STRUCTURE ((CTENTRY 5 (NIL)
3 1 4 4)
(CTENTRY 4 (NIL)
3 5 5 3)
(CTENTRY 3 (NIL)
5 4 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
5 2 2))
R4 5 NIL)
(STRUCTURE ((CTENTRY 5 (NIL)
2 1 4 4)
(CTENTRY 4 (NIL)
3 5 5 3)
(CTENTRY 3 (NIL)
4 4 2)
(CTENTRY 2 (NIL)
5 1 3 1)
(CTENTRY 1 (NIL)
5 2 2))
R5 5 NIL)
(STRUCTURE ((CTENTRY 5 (NIL)
2 1 4)
(CTENTRY 4 (NIL)
1 3 5 3)
(CTENTRY 3 (NIL)
2 4 4 2)
(CTENTRY 2 (NIL)
5 3 3 1)
(CTENTRY 1 (NIL)
4 5 2))
R6 5 NIL)
(STRUCTURE ((CTENTRY 5 (NIL)
2 1 4 4)
(CTENTRY 4 (NIL)
5 5 3)
(CTENTRY 3 (NIL)
1 4 2)
(CTENTRY 2 (NIL)
5 1 3 1)
(CTENTRY 1 (NIL)
3 5 2 2))
R7 5 NIL)
(STRUCTURE ((CTENTRY 5 (NIL)
4 3 2)
(CTENTRY 4 (NIL)
5 1 3 3)
(CTENTRY 3 (NIL)
5 4 4 2)
(CTENTRY 2 (NIL)
5 1 3 1)
(CTENTRY 1 (NIL)
4 2 2))
R8 5 NIL)
(STRUCTURE ((CTENTRY 5 (NIL)
3 1 4 4)
(CTENTRY 4 (NIL)
5 5 3)
(CTENTRY 3 (NIL)
5 1 4 2)
(CTENTRY 2 (NIL)
1 3 1)
(CTENTRY 1 (NIL)
3 5 2 2))
R9 5 NIL)
(STRUCTURE ((CTENTRY 5 (NIL)
4 3 2 1)
(CTENTRY 4 (NIL)
5 1 3)
(CTENTRY 3 (NIL)
5 2 4 2)
(CTENTRY 2 (NIL)
5 3 3 1)
(CTENTRY 1 (NIL)
5 4 2))
R10 5 NIL)
(STRUCTURE ((CTENTRY 5 (NIL)
2 3 1 4)
(CTENTRY 4 (NIL)
3 1 5)
(CTENTRY 3 (NIL)
5 4 1 2)
(CTENTRY 2 (NIL)
5 3 1)
(CTENTRY 1 (NIL)
5 4 3 2))
R11 5 NIL)
(STRUCTURE ((CTENTRY 5 (NIL)
4 3 2 1)
(CTENTRY 4 (NIL)
5 3 3)
(CTENTRY 3 (NIL)
5 4 4)
(CTENTRY 2 (NIL)
5 1 1 1)
(CTENTRY 1 (NIL)
5 2 2 2))
R12 5 NIL)))
VALUE)
STOP